//==========================================================================
// Copyright (c) 2000-2008,  Elastos, Inc.  All Rights Reserved.
//==========================================================================

#ifndef __ELASTOS_KPRINT_H__
#define __ELASTOS_KPRINT_H__

#include <elatypes.h>
#include <stdarg.h>

EXTERN_C int  CDECL kputs   (const char *);
EXTERN_C int  CDECL kprintf (const char *, ...);

typedef void (CDECL *print_t)(const char *);

EXTERN_C print_t _print;

EXTERN_C int  CDECL _printf (print_t, const char *, ...);
EXTERN_C int  CDECL _vprintf(print_t, const char *, va_list);

#endif // __ELASTOS_KPRINT_H__
